Binary Relations-based Rough Sets – an Automated Approach

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Adam Grabowski

Operations of Points on Elliptic Curve in Projective Coordinates

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Daichi Mizushima | Yasunari Shidama

Basic Formal Properties of Triangular Norms and Conorms

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Adam Grabowski

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Hideki Sakurai | Hiroyuki Okazaki | Yasunari Shidama

Basic Properties of the Rank of Matrices over a Field

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Karol Pąk

Parity as a Property of Integers

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Rafał Ziobro

Formalization of Integral Linear Space

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Yasunari Shidama

Basic Properties of Metrizable Topological Spaces

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Karol Pąk

Algebra of Polynomially Bounded Sequences and Negligible Functions

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Hiroyuki Okazaki

BCI-homomorphisms

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Yuzhong Ding | Fuguo Ge | Chenglong Wu

The Geometric Interior in Real Linear Spaces

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Karol Pąk

Introduction to Stochastic Finance: Random Variables and Arbitrage Theory

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Peter Jaeger

Several Differentiation Formulas of Special Functions. Part VI

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Bo Li | Pan Wang

Second-Order Partial Differentiation of Real Ternary Functions

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Takao Inoué

Isomorphism Theorem on Vector Spaces over a Ring

JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics

Authors: Yuichi Futa | Yasunari Shidama

Quotient Module of Z-module

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Yasunari Shidama

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Katuhiko Kanazashi | Noboru Endou | Yasunari Shidama

Several Differentiation Formulas of Special Functions. Part V

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Peng Wang | Bo Li

The Gödel Completeness Theorem for Uncountable Languages

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Julian J. Schlöder | Peter Koepke

Riemann Indefinite Integral of Functions of Real Variable

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Yasunari Shidama | Noboru Endou | Katsumi Wasaki